Internet Archive BookReader - The mathematical analysis of logic : being an essay towards a calculus of deductive reasoning